DECLARE INDVAR X;
DECLARE OPCONST F(A)=B:
DECLARE OPCONST F(A)=B;
DECLARE INDVAR YεA;
EVAL B(F(Y));
EVAL ∀Y.(B(F(Y)));